1982年度ACMチューリング賞受賞記念講演 計算量理論概説